Authority search results

Results 1 to 2 of 2

Authorized headings		Type of heading	Biblio records
Nazwa pospolita: Funkcje rekursywne. used for/see from: Rekursywne funkcje. MSC 03D20 (2000). Fonctions récursives [f] Recursive functions [c] see also: Algorytmy. (Broader heading) Podstawy arytmetyki. (Broader heading) Logika symboliczna i matematyczna. (Broader heading) Teoria liczb. (Broader heading) Teoria rekursywności. (Broader heading) Rozstrzygalność (logika matematyczna). Definiowalność (logika matematyczna). (Narrower heading) Teoria automatów. (Narrower heading) Zbiory dopuszczalne. (Narrower heading) Nierozwiązalność (logika matematyczna). (Narrower heading) Hipoteza Churcha-Turinga. (Narrower heading)	Details	Nazwa pospolita	2 biblios as subject heading
Nazwa pospolita: Funkcje rekursywne konferencje.	Details	Nazwa pospolita	1 biblios as subject heading